First-order dynamic logic
[计] 一阶动态逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
dynamic
[daɪ'næmɪk]
adj. 动态的;动力的，动力学的;充满活力的，精力充沛的;不断变化的，充满变数的;
n. 动态;动力，推动变化的力量;动力学;活力;
dynam =power,表示“力量” + ic ...的 → 有活力的;动力的
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
How about grating some cheese for our spaghetti dinner?
擦点奶酪今晚做意大利面条吃好吗？
If you want to be healthy, you have to stop smoking cigarettes.
如果你要身体健康的话，必须停止抽香烟。
Putting my hand on her face, she spelled l-a-u-g-h.
她将我的手在她的面部，就拼写l-a-u-g-h。